Najdłuższy dowód matematyczny w historii

1 czerwca 2016, 09:33

Marijn Heule z University of Texas, Oliver Kullmann ze Swansea University oraz Victor Marek z University of Kentucky - były pracownik Uniwersytetu Warszawskiego, a obecny współpracownik Instytutu Podstaw Informatyki PAN - użyli superkomputera do przeprowadzenia pojedynczego matematycznego dowodu, uzyskując w ten sposób największy matematyczny dowód w historii. Jego zapisanie zajęło 200 terabajtów przestrzeni dyskowej.



© Taras Kalapunlicencja: Creative Commons

Zanieczyszczenie środowiska prowadzi do cukrzycy?

27 stycznia 2008, 17:52

Dwaj doktorzy z Cambridge, Oliver Jones i Julian Griffin, sygnalizują w najnowszym numerze The Lancet potrzebę gruntownego przebadania związku między trwałymi zanieczyszczeniami organicznymi (TZO) a insulinoopornością, która prowadzi do cukrzycy dorosłych.


Czaszka z cmentarza klasztornego w Exeter ilustruje możliwości długiego łuku angielskiego

7 maja 2020, 12:17

Średniowieczne strzały powodowały urazy podobne do współczesnych ran postrzałowych. Gdy naukowcy zbadali szczątki z cmentarza klasztoru dominikanów w Exeter, odkryli, że strzały z długiego łuku angielskiego mogły penetrować ludzką czaszkę, tworząc małe rany wlotowe i duże wylotowe.


X-37B zakończył kolejną tajną misję

8 maja 2017, 10:10

Po dwóch latach tajnej misji w Kennedy Space Center na Florydzie wylądował wojskowy eksperymentalny dron X-37B. Urządzenie, które przypomina niewielki prom kosmiczny wylądowało w niedzielę na pasie startowym używanym w przeszłości przez promy kosmiczne.


Śledzą ponad 20 000 komputerów

16 października 2009, 11:49

Już ponad 20 000 użytkowników dołączyło do exo.repository, publicznie dostępnej bazy danych, która na bieżąco anonimowo śledzi konfigurację i wydajność podłączonych do niej komputerów i serwerów z systemami Windows.


Start Crew Dragona przesunięty na sobotę. Pogoda uniemożliwiła rozpoczęcie misji Demo-2

27 maja 2020, 21:45

Warunki pogodowe uniemożliwiły przeprowadzenie historycznego załogowego startu kapsuły Crew Dragon. Pogoda pokrzyżowała plany NASA i SpaceX. Start przełożono na sobotę, 30 maja, na godzinę 21.22 czasu polskiego.


Przez 10% czasu kierowcy nie patrzą na drogę

3 stycznia 2014, 13:17

Siedząc za kółkiem, kierowcy przez 10% czasu nie patrzą na drogę, jedząc, pisząc SMS-y czy sięgając po telefon.


Samolot X-59 rozpoczyna zasadniczą fazę testów. Wrócą naddźwiękowe loty pasażerskie?

2 czerwca 2026, 08:05

Samolot badawczy X-59, opracowany przez NASA w ramach programu Quesst, przygotowuje się do jednego z najważniejszych etapów swojej misji. Już w najbliższych tygodniach maszyna po raz pierwszy przekroczy prędkość dźwięku. Nie chodzi jednak wyłącznie o kolejny rekord lotniczy. Celem projektu jest rozwiązanie problemu, który od dekad ogranicza rozwój lotnictwa naddźwiękowego – głośnego gromu dźwiękowego.


Aligatory polują na małe rekiny

17 października 2017, 05:12

Aligatory amerykańskie (Alligator mississippiensis) polują na 3 gatunki rekinów, w tym na rekiny wąsate (Ginglymostoma cirratum).


Nauka w liczbach

13 listopada 2009, 18:02

Na świecie tworzonych jest kilka różnych rankingów uczelni wyższych. Używają one różnych metodologii i żadna z nich nie jest doskonała. Wszystkie one jednak wśród czołowych ośrodków akademickich wymieniają te same uczelnie.


Zostań Patronem

Od 2006 roku popularyzujemy naukę. Chcemy się rozwijać i dostarczać naszym Czytelnikom jeszcze więcej atrakcyjnych treści wysokiej jakości. Dlatego postanowiliśmy poprosić o wsparcie. Zostań naszym Patronem i pomóż nam rozwijać KopalnięWiedzy.

Patronite

Patroni KopalniWiedzy